Incremental validation of NCL hypermedia documents
نویسندگان
چکیده
منابع مشابه
Updates and Incremental Validation of XML Documents
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the new document still conforms to the imposed constraints. Incremental validation of updates leads to significant savings on computing time when compared to brute-force validation of an updated document from scratch. This p...
متن کاملEfficient Incremental Validation of XML Documents After Composite Updates
We describe an efficient method for the incremental validation of XML documents after composite updates. We introduce the class of Bounded-Edit (BE) DTDs and XML Schemas, and give a simple incremental revalidation algorithm that yields optimal performance for them, in the sense that its time complexity is linear in the number of operations in the update. We give extensive experimental results s...
متن کاملModelling Synchronized Hypermedia Documents
This paper presents a synchronization model for hypermedia applications. Several media, continuous, like video or audio file, or non-continuous, like text pages or images, are delivered separately over a network in a Webbased environment, and presented to the user in a coordinated way. The model is based on a set of synchronization relationships which define objects behavior during presentation...
متن کاملIntelligent Retrieval of Hypermedia Documents
Intelligent retrieval of hypermedia documents requires sophisticated document representations and querying facilities that allow for content-based and fact-based querying as well as considering the structure of documents. This paper describes POOL, a Probabilistic Object-Oriented four-valued Logic, which allows a uniform view on hypermedia documents for the purpose of their retrieval: documents...
متن کاملCollaborative Authoring of Hypermedia Documents
This paper identifies issues in computer-support for collaborative authoring of hyperdocuments and shows how SEPIA, a cooperative authoring environment, addresses these issues. First, hyperdocuments can be used to create and maintain technical documentation. Second, activity spaces support the cognitive and social processes involved in the creation of hyperdocuments. Third, a shared hyperdocume...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Brazilian Computer Society
سال: 2013
ISSN: 0104-6500,1678-4804
DOI: 10.1007/s13173-013-0110-1